Journal Name: Cognitive Linguistics Issue: Ahead of print.

Buchholz presented a method to build notation systems for infinite sequent-style derivations, analogous to well-known systems of notation for ordinals. The essential feature is that from a notation one can read off by a primitive recursive function its n th predecessor and, e.g. the last rule applied. Here we extend the method to the more general setting of infinite terms, in order to make it applicable in other proof-theoretic contexts as well as in recursion theory. As examples, we use the (...) method to 1. give a new proof of a well-known trade-off theorem , which says that detours through higher types can be eliminated by the use of transfinite recursion along higher ordinals, and 2. construct a continuous normalization operator with an explicit modulus of continuity. (shrink)

This book explores politics as a form of alchemy, understood as the transformation of entities through an alteration of their identities. Identifying this process as a common denominator of many political phenomena, such as communism, EU integration, mediatisation or globalisation, the author demonstrates not only the widespread presence of alchemical techniques in politics, but also the acceleration of their deployment. A study of the steady growth of power as it reaches a continuous and permanent stage, thus avoiding the inherent difficulties (...) connected with birth and death of political organisations and institutions, this volume reveals political alchemy to be a form of self-sustaining growth through sterile multiplication, devoid of meaning. Revealing both the integrative and disintegrative nature of a political process that, while appearing to work in the interests of all, in fact produces apathy, desperate mobilisation and despair by crushing concrete entities such as personality and tradition, Political Alchemy: Technology Unbounded will appeal to scholars of sociology and anthropology with interests in social theory and political thought. (shrink)

Alasdair MacIntyre criticises the ethics of modernity as fallacious, and wants it replaced by Aristotelian virtue ethics. He is particularly critical concerning modernity’s non-contextual understanding of reason, and wants to renew the ethical significance of concepts like tradition and context.